Cardinal characteristics at κ in a small u(κ) model
نویسندگان
چکیده
We provide a model where u(κ) < 2κ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties.
منابع مشابه
On a question of Hamkins and Löwe (PRELIMINARY)
Hamkins and Löwe asked whether there can be a model N of set theory with the property that N ≡ N [H] whenever H is a generic collapse of a cardinal of N onto ω. We obtain a lower bound, a cardinal κ with a κrepeat point, for the consistency of such a model. We do not know how to construct such a model, under any assumption. We do construct, from a cardinal κ with o(κ) = κ, a model N which satis...
متن کاملA pr 1 99 2 ON THE SINGULAR CARDINAL HYPOTHESIS
The Singular Cardinal Hypothesis (SCH) asserts that if κ is any singular strong limit cardinal then 2 = κ. It is known to be consistent that the SCH fails: Prikry [Pr] obtains a model of ¬SCH from a model in which the GCH fails at a measurable cardinal κ, and Silver in turn (see [KM]) obtains the failure of the GCH at a measurable cardinal from a model for a κ-supercompact cardinal. Silver’s re...
متن کاملCertain very large cardinals are not created in small forcing extensions
The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j : Vλ → Vλ, the existence of such a j which is moreover Σn, and the existence of such a j which extends to an elementary j : Vλ+1 → Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of t...
متن کاملPartition properties of subsets of P κ λ
Let κ > ω be a regular cardinal and λ > κ a cardinal. The following partition property is shown to be consistent relative to a supercompact cardinal: For any f : ⋃ n<ω [X] ⊂ → γ with X ⊂ Pκλ unbounded and 1 < γ < κ there is an unbounded Y ⊂ X with |f“[Y ]⊂| = 1 for any n < ω. Let κ be a regular cardinal > ω, λ a cardinal ≥ κ and F a filter on Pκλ. Partition properties of the form Pκλ→ (F)2 (see...
متن کاملCounting topologies
1 Statement of results Write |M| for the cardinal number of a set M and let P(M) denote the power set of M , P(M) = {X | X ⊂ M}. If |M| = κ then |P(M)| = 2 . In particular, c = 2א0 where as usual א0 = |N| and c = |R|. For any transfinite cardinal κ let κ+ denote the least cardinal number greater than κ . (For example, א0 = א1, א1 = א2, . . .) Naturally, κ < κ+ ≤ 2 . Neither κ+ = 2 nor κ+ < 2 is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 168 شماره
صفحات -
تاریخ انتشار 2017